es{-}Msg(${\it es}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Msg(es{-}M(${\it es}$))